- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Robert A. DiPaola
12 found
Order:
- Frederic B. Fitch. A note on recursive relations. The journal of symbolic logic, vol. 33 , p. 107.Robert A. DiPaola - 1972 - Journal of Symbolic Logic 37 (4):758.
- Julia Robinson. Unsolvable diophantine problems. Proceedings of the American Mathematical Society, vol. 22 , pp. 534–538. [REVIEW]Robert A. DiPaola - 1972 - Journal of Symbolic Logic 37 (3):603-604.
- Loveland Donald. A new interpretation of the von Mises' concept of random sequence. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 279–294.Loveland D. W.. The Kleene hierarchy classification of recursively random sequences. Transactions of the American Mathematical Society, vol. 125 , pp. 497–510. [REVIEW]Robert A. DiPaola - 1971 - Journal of Symbolic Logic 36 (3):537-538.
- S. Ú. Maslov. Ponátié strogoj prédstavimosti v obščej téorii isčislénij . Problémy konstruktivnogo napravléniá v matématiké, 4, Sbornik rabot, edited by V. P. Orévkov and N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 93, Izdatél'stvo “Nauka,” Leningrad1967, pp. 3–42. [REVIEW]Robert A. DiPaola - 1974 - Journal of Symbolic Logic 39 (1):188-188.
- Per Martin-Löf. The definition of random sequences. Information and control, vol. 9 , pp. 602–619. - Per Martin-Löf. The literature on von Mises' Kollectivs revisited. Theoria, vol. 35 , pp. 12–37. - Per Martin-Löf. On the notion of randomness. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo, N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 73–78. [REVIEW]Robert A. DiPaola - 1975 - Journal of Symbolic Logic 40 (3):450-452.
- Review: Frederic B. Fitch, A Note on Recursive Relations. [REVIEW]Robert A. DiPaola - 1972 - Journal of Symbolic Logic 37 (4):758-758.
- Review: J. C. Shepherdson, Representability of Recursively Enumerable Sets in Formal Theories. [REVIEW]Robert A. DiPaola - 1969 - Journal of Symbolic Logic 34 (1):117-117.
- Review: Julia Robinson, Unsolvable Diophantine Problems. [REVIEW]Robert A. DiPaola - 1972 - Journal of Symbolic Logic 37 (3):603-604.
- Review: Per Martin-Lof, The Definition of Random Sequences; Per Martin-Lof, The Literature on von Mises' Kollectivs Revisited; Per Martin-Lof, A. Kino, J. Myhill, R. E. Vesley, On the Notion of Randomness. [REVIEW]Robert A. DiPaola - 1975 - Journal of Symbolic Logic 40 (3):450-452.
- Review: S. U. Maslov, V. P. Orevkov, N. A. Sanin, The Concept of Strong Representability in the General Theory of Calculi. [REVIEW]Robert A. DiPaola - 1974 - Journal of Symbolic Logic 39 (1):187-188.
- Review: S. U. Maslov, Representation of Enumerable Sets by Means of Local Calculi. [REVIEW]Robert A. DiPaola - 1974 - Journal of Symbolic Logic 39 (1):188-188.
- Shepherdson J. C.. Representability of recursively enumerable sets in formal theories. Archiv für mathematische Logik und Grundlagenforschung. vol. 5 nos. 3-4 . pp. 119–127. [REVIEW]Robert A. DiPaola - 1969 - Journal of Symbolic Logic 34 (1):117-117.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-dmxst uwo